๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Dependent Types

Proof Assistants, Theorem Proving, Coq, Idris

Container Use for Locally Sandboxed, Background Agents in Zed
zed.devยท1dยท
Discuss: Hacker News
โฑ๏ธTokio
Bad Map Projection: Interrupted Spheres
xkcd.comยท1d
๐Ÿฆ€Rust
Can small AI models think as well as large ones?
seangoedecke.comยท4dยท
Discuss: Hacker News
๐Ÿค–AI
Kite Incident
xkcd.comยท3d
๐Ÿ”Static Analysis
Geologic Periods
xkcd.comยท6d
๐Ÿ”ขLinear Types
AboutBlogChangelogRoadmap